Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
911	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-12-01 15:39:42 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
912	On-the-fly Inlining of Dynamic Security Monitors Jonas Magazinius, Alejandro Russo, and Andrei Sabelfeld Dept. of Computer Science and Engineering, Chalmers University of TechnologyGothenburg, Sweden, Fax: +46 31 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:02 Data types Type theory Scripting languages Subroutines Inline expansion Eval Variable Information flow Scope Software engineering Computing Computer programming
913	Variables Derived from the Student Questionnaire Population 3 User Guide for the TIMSS International Database Add to Reading List Source URL: isc.bc.edu Language: English - Date: 2000-03-08 10:34:52 Source code Type theory Variables C++ classes Final Subroutine Software engineering Computer programming Computing
914	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
915	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
916	πn (Sn ) in Homotopy Type Theory Daniel R. Licata1 and Guillaume Brunerie2 2 1 Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2013-12-09 00:31:04 Abstract algebra Homotopy group Loop space Homotopy Fundamental group Path CW complex Groupoid Infinite loop Topology Homotopy theory Mathematics
917	MITFallLecture 1 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:32:39 Education reform Homework Standards-based education Wolfram Research Mathematica Type theory Mathematical software Application software Science
918	Lq BOUNDS FOR SPECTRAL CLUSTERS HART F. SMITH Abstract. In these notes, we review recent results concerning the Lp norm bounds for spectral clusters on compact manifolds. The type of estimates we consider were first esta Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2009-07-01 18:14:43 Spectral theory Ordinary differential equations Operator theory Symbol Wave equation Fourier transform Eigenvalues and eigenvectors Sinc function Spectrum Mathematical analysis Algebra Mathematics
919	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
920	C OV ER F E AT U RE Software Development for Infrastructure Bjarne Stroustrup, Texas A&M University Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:39 Data types Cross-platform software Type theory Procedural programming languages C++ C Type system Pointer Generic programming Computing Software engineering Computer programming

UPDATE